configuration cnf_synthesize of test_environment is
	for realization
		for bhv:processor use entity work.processor(behaviour); end for;
		for bhv2:processor use entity work.processor(structure); end for;
	end for;
end cnf_synthesize;